Bedeutung Allgemeinster Unifikator
Was bedeutet Allgemeinster Unifikator? Nachstehend finden Sie eine Bedeutung für das Wort Allgemeinster Unifikator Sie können auch eine Definition von Allgemeinster Unifikator selbst hinzufügen.
1 |
0
2
Allgemeinster UnifikatorSpezieller ☞ Unifikator mit der Eigenschaft, dass sich alle Unifikatoren durch die Anwendung einer weiteren Substitution erzeugen lassen.
|
| << Ackermann-Funktion | Äquivalenzproblem >> |